81. 15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR
پدیدآورنده : / ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
82. Quasi Orders in Computation, Logic, Language and Reasoning-Well
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع :
83. Reasoning Web. Web Logic Rules
پدیدآورنده : / Wolfgang Faber, Adrian Paschke
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
84. Reasoning and the logic of things: the cambridge conferences lectures of 8981
پدیدآورنده : Peirce, Charles Sanders 9381-4191
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
B
945
.
P43
R4
1992
85. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
86. Reasoning in boolean networks : logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده :
TK
7874
.
K866
1997
87. Reasoning with Fuzzy Logic
پدیدآورنده : Hellendoorn, Johannes
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Fuzzy logic
رده :
QA
9
.
64
.
R4
1990
88. Reasoning with logic programming
پدیدآورنده : Alferes, Jose Julio
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
89. Test your logic : 50 puzzles in deductive reasoning
پدیدآورنده : Summers, George J.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Puzzles
رده :
GV
1507
.
Q5
S82
1972
90. The Mathematical Analysis of Logic; Being an Essay Towards a Calculus of Deductive Reasoning
پدیدآورنده : /By George Boole.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق
رده :
BC
۷۱
/
ب
۹
م
۲ ۱۳۴۴
91. The art of thinking and reasoning logically: the development of logic and its elemental precepts
پدیدآورنده : McCabe, Joseph, 7681-5591
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : ، Logic,، Reasoning
رده :
BC177
.
M3
1928
92. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
93. 501 challenging logic and reasoning problem
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Problems, exercises, et,Reasoning, Problems, exercises, et,Critical thinking, Problems, exercises, et
رده :
BC108
.
A15
2005
94. 501 challenging logic and reasoning problems
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic Problems, exercises, etc,Reasoning Problems, exercises, etc,Critical thinking Problems, exercises, etc
رده :
BC108
.
A15
2005
95. 501 challenging logic and reasoning problems.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Critical thinking, Problems, exercises, etc.,Logic, Problems, exercises, etc.,Reasoning, Problems, exercises, etc.,Critical thinking.,Logic.,Reasoning.
رده :
BC108
.
A15
2005
96. 501 challenging logic and reasoning problems
پدیدآورنده :
کتابخانه: Library of Mofid University (Qom)
موضوع : Problems, exercises, etc ، Logic,Problems, exercises, etc ، Reasoning,Problems, exercises, etc ، Critical thinking
رده :
BC108
.
A15
2005
97. 501 challenging logic and reasoning problems.
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic ; Problems, exercises, etc. ;
98. 501 challenging logic and reasoning problems
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic Problems, exercises, etc,Reasoning Problems, exercises, etc,Critical thinking Problems, exercises, etc
رده :
BC108
.
A15
2005
99. logic, rhetoric and legal reasoning in the quran
پدیدآورنده :
کتابخانه: Specialized Library of The Institute for Shiite Studies (Qom)
موضوع :
رده :
BP
134
/
گ
9
3
ل
1386
100. عنوان اصلی : Gorge J. summers. Test your logic 50 puzzles in deductive reasoning
پدیدآورنده : سامرز ،جورج ج,مولف جورج جی . سامرز
کتابخانه: (Ayatollah Kashani Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
موضوع : ، معماها،
رده :
793
/73
س
241
م
1386
